2.
Logic and Specification Extending Vdm-Sl for Advanced Formal Specification
by Middelburg, Cornelis A.
ISBN: 9780412486807
List Price: $61.95
3.
Notations for Software Design - Loe M. G. Feijs - Paperback
by Feijs, Loe M., Jonker, Hans...
ISBN: 9780387199023
List Price: $84.95
4.
Instruction Sequences for Computer Science (Atlantis Studies in Computing)
by Jan A Bergstra, Cornelis A....
ISBN: 9789462390492
List Price: $139.00
OUT OF STOCK
See Availability on Amazon5.
Notations for Software Design
by M G Feijs, Loe, B M Jonkers...
ISBN: 9781447121084
List Price: $24.99